Results for 'On Fitting Pro-Attitudes'

1000+ found
Order:
  1. Value'.On Fitting Pro-Attitudes - 2004 - Ethics 114 (3):391-423.
    No categories
     
    Export citation  
     
    Bookmark   11 citations  
  2. The strike of the demon: On fitting pro‐attitudes and value.Wlodek Rabinowicz & Toni Rønnow-Rasmussen - 2004 - Ethics 114 (3):391-423.
    The paper presents and discusses the so-called Wrong Kind of Reasons Problem (WKR problem) that arises for the fitting-attitudes analysis of value. This format of analysis is exemplified for example by Scanlon's buck-passing account, on which an object's value consists in the existence of reasons to favour the object- to respond to it in a positive way. The WKR problem can be put as follows: It appears that in some situations we might well have reasons to have pro- (...) toward objects that are not valuable. Or vice versa: we might have reasons not to have pro-attitudes toward some valuable objects. The paper goes through several attempts to solve (or dissolve) the WKR problem and argues that none of them is fully satisfactory. (shrink)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   337 citations  
  3.  57
    Explaining value: on Orsi and Garcia’s explanatory objection to the fitting-attitude analysis.Wlodek Rabinowicz & Toni Rønnow-Rasmussen - 2020 - Philosophical Studies.
    Orsi and Garcia argue that fitting-attitude analysis of value is vulnerable to an explanatory objection. On FA-analysis, for an object to be valuable is for it to be a fitting target of an attitude—a pro-attitude if its value is positive and a con-attitude if it is negative. For different kinds of value different kinds of attitudes are fitting: desire for desirability, admiration for admirability, etc. To explain the fittingness relation we therefor need to appeal to the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4. A Program to Compute G¨odel-L¨ob Fixpoints.Melvin Fitting - unknown
    odel-L¨ ob computability logic. In order to make things relatively self-contained, I sketch the essential ideas of GL, and discuss the significance of its fixpoint theorem. Then I give the algorithm embodied in the program in a little more detail. It should be emphasized that nothing new is presented here — all the theory and methodology are due to others. The main interest is, in a sense, psychological. The approach taken here has been declared in the literature, more than once, (...)
     
    Export citation  
     
    Bookmark   1 citation  
  5. Tableaus for Logic Programming.Melvin Fitting - unknown
    We present a logic programming language, which we call Proflog, with an operational semantics based on tableaus, and a denotational semantics based on supervaluations. We show the two agree. Negation is well-behaved, and semantic non-computability issues do not arise. This is accomplished essentially by dropping a domain closure requirement. The cost is that intuitions developed through the use of classical logic may need modification, though the system is still classical at a level once removed. Implementation problems are discussed very briefly (...)
     
    Export citation  
     
    Bookmark   1 citation  
  6. Pro-attitudes and direction of fit.G. F. Schueler - 1991 - Mind 100 (400):277-81.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  7. Expression, truth, and reality : some variations on themes from Wright.Dorit Bar-On - 2012 - In Annalisa Coliva (ed.), Mind, meaning, and knowledge: themes from the philosophy of Crispin Wright. Oxford: Oxford University Press.
    Expressivism, broadly construed, is the view that the function of utterances in a given area of discourse is to give expression to our sentiments or other (non-cognitive) mental states or attitudes, rather than report or describe some range of facts. This view naturally seems an attractive option wherever it is suspected that there may not be a domain of facts for the given discourse to be describing. Familiarly, to avoid commitment to ethical facts, the ethical expressivist suggests that ethical (...)
     
    Export citation  
     
    Bookmark   3 citations  
  8.  51
    Pro-Attitudes and Direction of Fit.G. F. Schueler - 1991 - Mind 100 (2):277 - 281.
  9.  15
    Psychometric Indicators of the Pro-environmental Attitudes' Questionnaire: Colombian Version.Willian Sierra Barón & Alba Lucia Meneses Baez - 2022 - Frontiers in Psychology 13.
    The detrimental effect of human behavior on the environment is undeniable. Attitudes are recognized as a predictor of the pro-environmental behavior; therefore, having good quality tools in Colombia to measure them is strategic to assess interventions. This study aims to establish psychometric indicators for the pro-environmental attitudes questionnaire Colombian version to a sample of 415 volunteers aged 18–70 years. We used the 28-item PEAQ already linguistically adapted for Colombia. We applied the following questionnaires: Environmental awareness, environmental values, and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  13
    Quelle Pro-Attitude Pour le Subjectivisme À Propos du Bien-Être?Stéphane Lemaire - 2022 - Les Ateliers de l'Éthique / the Ethics Forum 17:214-241.
    Selon le subjectivisme à propos du bien-être, un événement contribue au bien-être d’un individu dans la mesure où cet individu a ou aurait une certaine pro-attitude à l’égard de cet événement dans des circonstances à préciser. Une telle approche doit donc spécifier un certain nombre d’éléments de cette définition, par exemple les circonstances pertinentes. Dans cet article, je me concentre sur la pro-attitude pertinente. Afin d’organiser la discussion, je soutiens que cette pro-attitude doit satisfaire trois desiderata. Elle doit permettre de (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  13
    Fitting Fulfilment – Fitting Objective or Rational Attractiveness?Susanne Hiekel - 2018 - Zeitschrift Für Ethik Und Moralphilosophie 1 (1):57-74.
    Susan Wolf has developed a promising answer to the problem of the meaning of – or better in – life’. Wolf’s hybrid-view of meaning in life can be briefly summarized by the catchphrase: ‘meaning arises when subjective attraction meets objective attractiveness’. Accordingly, on her account, both an objective and a subjective element are needed for a life to be meaningful. For the objective element at least four characteristics can be identified in Wolf’s writings: the element must be subject-independent (independency claim), (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Value-First Accounts of Reasons and Fit.R. A. Rowland - 2023 - In Chris Howard & R. A. Rowland (eds.), Fittingness. OUP.
    It is tempting to think that all of normativity, such as our reasons for action, what we ought to do, and the attitudes that it is fitting for us to have, derives from what is valuable. But value-first approaches to normativity have fallen out of favour as the virtues of reasons- and fittingness-first approaches to normativity have become clear. On these views, value is not explanatorily prior to reasons and fit; rather the value of things is understood in (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  30
    Ouch, That Doesn’t Fit There.Ryan Tanner - 2008 - Proceedings of the Xxii World Congress of Philosophy 10:419-426.
    According to the “fitting-attitudes” (FA) account of value, for a thing to be valuable is for it to be the fitting object of a pro-attitude. Value here is analyzed in terms of reasons for and against favoring, admiring, desiring, preferring, loving, etc. a thing. Whichever particular FA analysis you prefer, the basic idea is just that a thing’s value depends on extant reasons to be favorably (or disfavorably) disposed toward it. Of course, proponents of FA analyses deny (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. Scales for Scope: A New Solution to the Scope Problem for Pro-Attitude-Based Well-Being.Hasko von Kriegstein - 2018 - Utilitas 30 (4):417-438.
    Theories of well-being that give an important role to satisfied pro-attitudes need to account for the fact that, intuitively, the scope of possible objects of pro-attitudes seems much wider than the scope of things, states, or events that affect our well-being. Parfit famously illustrated this with his wish that a stranger may recover from an illness: it seems implausible that the stranger’s recovery would constitute a benefit for Parfit. There is no consensus in the literature about how to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  43
    Moral Responsibility and the Problem of Induced Pro-Attitudes.Ishtiyaque Haji - 1996 - Dialogue 35 (4):703-720.
    The problem of induced pro-attitudes is simply this: why is action which ultimately issues from pro-attitudes such as desires, volitions, and goals, induced by techniques such as direct manipulation of the brain, hypnosis, or “value engineering,” frequently regarded as action for which its agent cannot be held morally responsible? The problem is of interest for several reasons. Ferdinand Schoeman, for instance, believes that the problem poses a resolvable but challenging predicament for compatibilists: if agents can be held morally (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  16.  3
    Clueless loneliness: Loneliness beyond frustrated pro‐attitudes.Qiannan Li - forthcoming - Southern Journal of Philosophy.
    According to Tom Roberts and Joel Krueger's frustrated pro-attitude account of loneliness, loneliness is primarily characterized as an affective state in which individuals perceive certain social goods as unattainable. The frustration of pro-attitudes, or the desire for social connections, plays a significant role in understanding the nature of loneliness. However, in this article, I argue that the frustrated pro-attitude account falls short in explaining a specific type of loneliness known as clueless loneliness, wherein a person feels lonely without experiencing (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17. Value relations revisited.Wlodek Rabinowicz - 2012 - Economics and Philosophy 28 (2):133-164.
    In Rabinowicz, I considered how value relations can best be analysed in terms of fitting pro-attitudes. In the formal model of that paper, fitting pro-attitudes are represented by the class of permissible preference orderings on a domain of items that are being compared. As it turns out, this approach opens up for a multiplicity of different types of value relationships, along with the standard relations of ‘better’, ‘worse’, ‘equally as good as’ and ‘incomparable in value’. Unfortunately, (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   45 citations  
  18.  27
    Aggregating Reasons and Persons: On Sorting Out the Logic of the Good, Royce’s Style.Mona Simion - 2014 - Contemporary Pragmatism 11 (2):107-121.
    Contemporary ‘Fitting Attitude’ axiological frameworks – defining value in terms of having properties that provide reasons for pro-attitudes – struggle with the so-called Wrong Kind of Reasons problem. That is, they fail to offer a coherent account as to what reasons are fitted to enter our evaluative endeavors in the first place. Furthermore, WKR opens FA to charges regarding intransitivity of value ordering. I argue that revisiting Josiah Royce’s ‘plan of life’ mediating principle offers a promising reasons’ aggregation (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  19. Which Attitudes for the Fitting Attitude Analysis of Value?Julien A. Deonna & Fabrice Teroni - 2021 - Theoria 87 (5):1099-1122.
    According to the fitting attitude (FA) analysis of value concepts, to conceive of an object as having a given value is to conceive of it as being such that a certain evaluative attitude taken towards it would be fitting. Among the challenges that this analysis has to face, two are especially pressing. The first is a psychological challenge: the FA analysis must call upon attitudes that shed light on our value concepts while not presupposing the mastery of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  20. Value, Fitting‐Attitude Account of.Wlodek Rabinowicz - 2013 - In Hugh LaFollette (ed.), The International Encyclopedia of Ethics. Hoboken, NJ: Blackwell.
    According to an influential tradition in value analysis, to be valuable is to be a fitting object of a pro-attitude – a fitting object of favoring. If it is fitting to favor an object for its own sake, then, in this view, the object has final value. If it is fitting to favor an object for the sake of its effects, then its value is instrumental. Disvalue is connected in the analogous way to disfavoring, i.e., to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  21.  12
    On Compromise in Radical Environmental Activism.Małgorzata Dereniowska & Jason P. Matzke - 2019 - Humanistyka I Przyrodoznawstwo 24:9-38.
    Mainstream environmental groups have long been criticized by more radical activists as being too willing to compromise with industry and development interests. Radical groups such as Earth First! and Earth Liberation Front were formed as a reaction explicitly against perceived failures of mainstream groups. Although the radical activism employed varied from direct action in the form of aggressive civil disobedience coupled with eco sabotage, the tactics of the radical groups suggest two strands of movement. For example, the actions and demands (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  92
    Public Views on Policies Involving Nudges.William Hagman, David Andersson, Daniel Västfjäll & Gustav Tinghög - 2015 - Review of Philosophy and Psychology 6 (3):439-453.
    When should nudging be deemed as permissible and when should it be deemed as intrusive to individuals’ freedom of choice? Should all types of nudges be judged the same? To date the debate concerning these issues has largely proceeded without much input from the general public. The main objective of this study is to elicit public views on the use of nudges in policy. In particular we investigate attitudes toward two broad categories of nudges that we label pro-self and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  23.  49
    Value relations: old wine in new barrels.Wlodek Rabinowicz - 2011 - In .
    In Rabinowicz 2008, I considered how value relations can best be analyzed in terms of fitting pro-­‐attitudes. In the formal model presented in that paper fitting pro-­‐attitudes are represented by the class of permissible preference orderings on a domain of items that are being compared. As it turns out, this approach opens up for a multiplicity of different types of value relationships, along with the standard relations of "better", "worse", "equally as good as" and "incomparable in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  24.  23
    Value: fitting-attitudes account of.Wlodek Rabinowicz - 2022 - In Hugh LaFollette (ed.), International Encyclopedia of Ethics. Wiley.
    According to an influential tradition in value analysis, to be valuable is to be a fitting object of a pro-attitude – a fitting object of favoring. If it is fitting to favor an object for its own sake, then, in this view, the object has final value. If it is fitting to favor an object for the sake of its effects, then its value is instrumental. Disvalue is connected in the analogous way to disfavoring, i.e., to (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25. Fitting attitudes and welfare.Chris Heathwood - 2008 - Oxford Studies in Metaethics 3:47-73.
    The purpose of this paper is to present a new argument against so-called fitting attitude analyses of intrinsic value, according to which, roughly, for something to be intrinsically good is for there to be reasons to want it for its own sake. The argument is indirect. First, I submit that advocates of a fitting-attitude analysis of value should, for the sake of theoretical unity, also endorse a fitting-attitude analysis of a closely related but distinct concept: the concept (...)
    Direct download  
     
    Export citation  
     
    Bookmark   48 citations  
  26. Fitting Attitude Theory and the Normativity of Jokes.Stephanie Patridge & Andrew Jordan - 2018 - Erkenntnis 83 (6):1303-1320.
    We defend a fitting-attitude theory of the funny against a set of potential objections. Ultimately, we endorse a version of FA theory that treats reasons for amusement as non-compelling, metaphysically non-conditional, and alterable by social features of the joke telling context. We find that this version of FA theory is well-suited to accommodate our ordinary practices of telling and being amused by jokes, and helpfully bears on the related faultless disagreement dispute.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27. Fitting Attitude Analyses of Value and the Partiality Challenge.Jonas Olson - 2009 - Ethical Theory and Moral Practice 12 (4):365-378.
    According to ‘Fitting Attitude’ (FA) analyses of value, for an object to be valuable is for that object to have properties—other than its being valuable—that make it a fitting object of certain responses. In short, if an object is positively valuable it is fitting to favour it; if an object is negatively valuable it is fitting to disfavour it. There are several variants of FA analyses. Some hold that for an object to be valuable is for (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  28.  25
    Kants Werttheorie? Versuch einer Rekonstruktion.Gerhard Schönrich - 2013 - Kant Studien 104 (3):321-345.
    : In Kant’s writings there is no worked out theory of values. Nonetheless,he has given some hints as to what such a Kantian theory of value might look like. I argue for the claim that his theory should be classified as a version of a fitting-attitude theory of value that is nowadays advocated by several philosophers. Values are, according to Kant, dependent on proper pro-attitudes. In order for a pro-attitude to be apt, the pro-attitude must be explained by (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  20
    Value relations: old wine in new barrels.Rabinowicz Wlodek - 2011 - In Anne Reboul (ed.), Philosophical Papers Dedicated to Kevin Mulligan.
    In Rabinowicz 2008, I considered how value relations can best be analyzed in terms of fitting pro-­‐attitudes. In the formal model presented in that paper fitting pro-­‐attitudes are represented by the class of permissible preference orderings on a domain of items that are being compared. As it turns out, this approach opens up for a multiplicity of different types of value relationships, along with the standard relations of "better", "worse", "equally as good as" and "incomparable in (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  68
    The fitting-attitude analysis of value relations and the preferences vs. value judgements objection.Mauro Rossi - 2017 - Economics and Philosophy 33 (2):287-311.
    According to Wlodek Rabinowicz's (2008) fitting-attitude analysis of value relations, two items are on a par if and only if it is both permissible to strictly prefer one to the other and permissible to have the opposite strict preference. Rabinowicz’s account is subject, however, to one important objection: if strict preferences involve betterness judgements, then his analysis contrasts with the intuitive understanding of parity. In this paper, I examine Rabinowicz’s three responses to this objection and argue that they do (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31. A complex experiential account of pleasure.Stephen Kershnar - 2010 - Journal of Value Inquiry 44 (2):153-165.
    In this paper, I argue for the Complex Experiential Theory. It asserts that pleasure is a pro-attitude toward a de se experience. I argue that it is better than its competitors. In particular, it is better than monadic theories that view pleasure as a distinct type of experience or a pro-attitude in isolation. It is also better than other non-monadic theories. In particular, it is better than accounts that involve pro-attitudes and beliefs in states of affairs or propositions (or (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  46
    Notes on the mathematical aspects of Kripke’s theory of truth.Melvin Fitting - 1986 - Notre Dame Journal of Formal Logic 27 (1):75-88.
  33. Fitting attitudes de dicto and de se.Jason Turner - 2010 - Noûs 44 (1):1-9.
    The Property Theory of attitudes holds that the contents of mental states --- especially de se states --- are properties. The "nonexistence problem" for the Property Theory holds that the theory gives the wrong consequences as to which worlds "fit" which mental states: which worlds satisfy desires, make beliefs true, and so on. If I desire to not exist, since there is no world where I have the property of not existing, my desire is satisfied in no worlds. In (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  34. Fitting-Attitude Analyses and the Relation Between Final and Intrinsic Value.Antoine C. Dussault - 2014 - Les ateliers de l'éthique/The Ethics Forum 9 (2):166-189.
    This paper examines the debate as to whether something can have final value in virtue of its relational (i.e., non-intrinsic) properties, or, more briefly put, whether final value must be intrinsic. The paper adopts the perspective of the fitting-attitude analysis (FA analysis) of value, and argues that from this perspective, there is no ground for the requirement that things may have final value only in virtue of their intrinsic properties, but that there might be some grounds for the alternate (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  79
    Fitting Things Together: Coherence and the Demands of Structural Rationality.Alexander Worsnip - 2021 - New York: Oxford University Press.
    Some combinations of attitudes--of beliefs, credences, intentions, preferences, hopes, fears, and so on--do not fit together right: they are incoherent. A natural idea is that there are requirements of "structural rationality" that forbid us from being in these incoherent states. Yet a number of surprisingly difficult challenges arise for this idea. These challenges have recently led many philosophers to attempt to minimize or eliminate structural rationality, arguing that it is just a "shadow" of "substantive rationality"--that is, correctly responding to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  36. Bilattices and the Semantics of Logic Programming.Melvin Fitting - unknown
    Bilattices, due to M. Ginsberg, are a family of truth value spaces that allow elegantly for missing or conflicting information. The simplest example is Belnap’s four-valued logic, based on classical two-valued logic. Among other examples are those based on finite many-valued logics, and on probabilistic valued logic. A fixed point semantics is developed for logic programming, allowing any bilattice as the space of truth values. The mathematics is little more complex than in the classical two-valued setting, but the result provides (...)
     
    Export citation  
     
    Bookmark   63 citations  
  37. Investment with a Conscience: Examining the Impact of Pro-Social Attitudes and Perceived Financial Performance on Socially Responsible Investment Behavior.Jonas Nilsson - 2008 - Journal of Business Ethics 83 (2):307-325.
    This article addresses the growing industry of retail socially responsible investment (SRI) profiled mutual funds. Very few previous studies have examined the final consumer of SRI profiled mutual funds. Therefore, the purpose of this study was to, in an exploratory manner, examine the impact of a number of pro-social, financial performance, and socio-demographic variables on SRI behavior in order to explain why investors choose to invest different proportions of their investment portfolio in SRI profiled funds. An ordinal logistic regression analysis (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  38.  97
    The logic of proofs, semantically.Melvin Fitting - 2005 - Annals of Pure and Applied Logic 132 (1):1-25.
    A new semantics is presented for the logic of proofs (LP), [1, 2], based on the intuition that it is a logic of explicit knowledge. This semantics is used to give new proofs of several basic results concerning LP. In particular, the realization of S4 into LP is established in a way that carefully examines and explicates the role of the + operator. Finally connections are made with the conventional approach, via soundness and completeness results.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   72 citations  
  39.  70
    Fitting-Attitude Analysis and the Logical Consequence Argument.Toni Rønnow-Rasmussen - 2018 - Philosophical Quarterly 68 (272):560-579.
    A fitting-attitude analysis which understands value in terms of reasons and pro- and con-attitudes allows limited wriggle room if it is to respect a radical division between good and good-for. Essentially, its proponents can either introduce two different normative notions, one relating to good and the other to good-for, or distinguish two kinds of attitude, one corresponding to the analysis of good and the other to good-for. It is argued that whereas the first option faces a counterintuitive scope (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40. Bilattices In Logic Programming.Melvin Fitting - unknown
    Bilattices, introduced by M. Ginsberg, constitute an elegant family of multiple-valued logics. Those meeting certain natural conditions have provided the basis for the semantics of a family of logic programming languages. Now we consider further restrictions on bilattices, to narrow things down to logic programming languages that can, at least in principle, be implemented. Appropriate bilattice background information is presented, so the paper is relatively self-contained.
     
    Export citation  
     
    Bookmark   30 citations  
  41. Kleene's logic, generalized.Melvin Fitting - unknown
    Kleene’s well-known strong three-valued logic is shown to be one of a family of logics with similar mathematical properties. These logics are produced by an intuitively natural construction. The resulting logics have direct relationships with bilattices. In addition they possess mathematical features that lend themselves well to semantical constructions based on fixpoint procedures, as in logic programming.
     
    Export citation  
     
    Bookmark   31 citations  
  42. Many-valued modal logics II.Melvin Fitting - unknown
    Suppose there are several experts, with some dominating others (expert A dominates expert B if B says something is true whenever A says it is). Suppose, further, that each of the experts has his or her own view of what is possible — in other words each of the experts has their own Kripke model in mind (subject, of course, to the dominance relation that may hold between experts). How will they assign truth values to sentences in a common modal (...)
     
    Export citation  
     
    Bookmark   31 citations  
  43.  44
    A Family of Strict/Tolerant Logics.Melvin Fitting - 2020 - Journal of Philosophical Logic 50 (2):363-394.
    Strict/tolerant logic, ST, evaluates the premises and the consequences of its consequence relation differently, with the premises held to stricter standards while consequences are treated more tolerantly. More specifically, ST is a three-valued logic with left sides of sequents understood as if in Kleene’s Strong Three Valued Logic, and right sides as if in Priest’s Logic of Paradox. Surprisingly, this hybrid validates the same sequents that classical logic does. A version of this result has been extended to meta, metameta, … (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  44.  20
    The Strict/Tolerant Idea and Bilattices.Melvin Fitting - 2021 - In Ofer Arieli & Anna Zamansky (eds.), Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Springer Verlag. pp. 167-191.
    Strict/tolerant logic is a formally defined logic that has the same consequence relation as classical logic, though it differs from classical logic at the metaconsequence level. Specifically, it does not satisfy a cut rule. It has been proposed for use in work on theories of truth because it avoids some objectionable features arising from the use of classical logic. Here we are not interested in applications, but in the formal details themselves. We show that a wide range of logics have (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  45.  43
    Bilattices and the theory of truth.Melvin Fitting - 1989 - Journal of Philosophical Logic 18 (3):225 - 256.
    While Kripke's original paper on the theory of truth used a three-valued logic, we believe a four-valued version is more natural. Its use allows for possible inconsistencies in information about the world, yet contains Kripke's development within it. Moreover, using a four-valued logic makes it possible to work with complete lattices rather than complete semi-lattices, and thus the mathematics is somewhat simplified. But more strikingly, the four-valued version has a wide, natural generalization to the family of interlaced bilattices. Thus, with (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  46.  17
    Strict/Tolerant Logics Built Using Generalized Weak Kleene Logics.Melvin Fitting - 2021 - Australasian Journal of Logic 18 (2).
    This paper continues my work of [9], which showed there was a broad family of many valued logics that have a strict/tolerant counterpart. Here we consider a generalization of weak Kleene three valued logic, instead of the strong version that was background for that earlier work. We explain the intuition behind that generalization, then determine a subclass of strict/tolerant structures in which a generalization of weak Kleene logic produces the same results that the strong Kleene generalization did. This paper provides (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  47. Fixpoint Semantics for Logic Programming A Survey.Melvin Fitting - unknown
    The variety of semantical approaches that have been invented for logic programs is quite broad, drawing on classical and many-valued logic, lattice theory, game theory, and topology. One source of this richness is the inherent non-monotonicity of its negation, something that does not have close parallels with the machinery of other programming paradigms. Nonetheless, much of the work on logic programming semantics seems to exist side by side with similar work done for imperative and functional programming, with relatively minimal contact (...)
     
    Export citation  
     
    Bookmark   18 citations  
  48.  16
    Mark D. White.Pro Tanto - 2011 - In Mark White (ed.), Retributivism: Essays on Theory and Policy. Oxford University Press. pp. 129.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. First-order intensional logic.Melvin Fitting - 2004 - Annals of Pure and Applied Logic 127 (1-3):171-193.
    First - order modal logic is very much under current development, with many different semantics proposed. The use of rigid objects goes back to Saul Kripke. More recently, several semantics based on counterparts have been examined, in a development that goes back to David Lewis. There is yet another line of research, using intensional objects, that traces back to Richard Montague. I have been involved with this line of development for some time. In the present paper, I briefly sketch several (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  50. On Quantified Modal Logic.Melvin Fitting - unknown
    Propositional modal logic is a standard tool in many disciplines, but first-order modal logic is not. There are several reasons for this, including multiplicity of versions and inadequate syntax. In this paper we sketch a syntax and semantics for a natural, well-behaved version of first-order modal logic, and show it copes easily with several familiar difficulties. And we provide tableau proof rules to go with the semantics, rules that are, at least in principle, automatable.
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 1000